#!/bin/bash

runhaskell sorting-yices.hs | yices -e -tc | perl tables.pl
